1. Computational logic
پدیدآورنده : edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
2. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
3. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
4. Handbook Of The History Of Logic
پدیدآورنده : /Edited By Dov M. Gabbay
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
5. Handbook of Philosophical Logic
پدیدآورنده : edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy
6. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
7. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
8. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
9. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
10. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
11. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
12. Handbook of quantum logic and quantum structures :
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Quantum logic,Quantum theory
رده :
QC174
.
17
.
M35
H36
2007
13. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
کتابخانه: (Semnan)
موضوع : ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
14. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Quantum logic
رده :
530
.
12
015113
H236
2009
15. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History ، Logic
رده :
BC
15
.
H264
16. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
17. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
18. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
19. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
20. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
